<p>Transitions: <%=@petrinet.transitions.size%></p>
<p>Places: <%=@petrinet.places.size%></p>
<p>Arcs: <%=@petrinet.arcs.size%></p>